$\forall$$r$:$\mathbb{Q}$. has{-}value($r$)